Subsystem Implementation using aSynchronous

The lack of exibility and performance of current communication subsystems has led researchers to look for new protocol architectures. A new design philosophy, exible and eecient, referred to in the literature as function-based communication model is emerging and seems to be very promising. It consists of designing application-tailored communication subsystems adapted to the speciic requirements of a given application. The exibility of such a solution leads to very eecient implementations integrating only required functionalities. In this paper, we propose a exible model which uses a synchronous language to synthesize communication subsystems from functional building blocks. We prove the feasibility of our approach by implementing a data transfer protocol using Esterel, a synchronous language. Communication subsystem speciications in our model are very modular; they are composed of parallel modules, implementing the diierent functionali-ties of the communication subsystem, which synchronize and communicate using signals. The Esterel compiler generates from this parallel speciication a sequential automaton by resolving resource connicts. The design exibility of our approach is demonstrated; modules are selected according the application requirements and compiled to generate an integrated implementation.